Process Analysis Toolkit (PAT) 3.5 Help |
Algebraic laws describe the essential properties of operations or process
constructs. This section presents algebraic laws of CSP# process constructs. General choice Internal choice Sequential composition
Parallel composition Interleaving Hiding